📐 Type Theory - hello · Scour

The Type System: What You Know, What's New, and What's Weird 📘TypeScript

dev.to·5h·DEV·

A Graded Modal Dependent Type Theory with Erasure, Formalized 👻Phantom Types

arxiv.org·1d·

When You Run Out of Types... 📦Serde

buttondown.com·6d·

Explore union types in C# 15 🏷️Pointer Tagging

devblogs.microsoft.com·8h·

Formal Verification in Any Language for Everybody ✓Formal Verification

dev-log.me·2d·Hacker News·

On Refactoring With Generic Types 📘TypeScript

radekmie.dev·3d·r/typescript·

DSTs Are Just Polymorphically Compiled Generics 📦Serde

faultlore.com·1d·Lobsters, Hacker News, Hacker News·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

Rust's next-generation trait solver ⚡Ruff

lwn.net

·3d·

Formally verifying digital circuits with category theory in Lean ∘Category Theory

matt.hunzinger.me·6d·r/programming·

proposal: element-wise type constraints for composite values · Issue #78433 🔍Type Inference

github.com·5d·r/golang·

Functions, Generics, and the Stuff That Looks Familiar But Isn't 📘TypeScript

dev.to·5h·DEV·

Generators in Lone Lisp 🏭Code Generation

news.ycombinator.com·6d·Hacker News·

What Category Theory Teaches Us About DataFrames 🏗️Data Modeling

mchav.github.io·4d·Lobsters, Hacker News, Hacker News, r/programming·

dropbox/dMATH: Formal verification and theorem proving tools ✓Formal Verification

github.com·3d·Hacker News·

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach 🔄Concurrency Models

arxiv.org·6d·

Flexible Code Without Losing Type Safety with TS Generics 📘TypeScript

dev.to·3d·DEV·

elevenlabs/packages @elevenlabs/types@0.8.0 📦uv

github.com

·6d·

Codacy for Python: Code Quality and Static Analysis 📦uv

dev.to·3d·DEV·

Value Types vs Reference Types, Struct vs Class, and Boxing & Unboxing 📏Linear Types

dev.to·3d·DEV·

Loading more...